Diclib.com
Λεξικό ChatGPT

Αναζήτηση λεξικού Προσαρμοσμένες λύσεις

Εισάγετε μια λέξη ή φράση σε οποιαδήποτε γλώσσα 👆

Γλώσσα:

Μετάφραση και ανάλυση λέξεων από την τεχνητή νοημοσύνη ChatGPT

Σε αυτήν τη σελίδα μπορείτε να λάβετε μια λεπτομερή ανάλυση μιας λέξης ή μιας φράσης, η οποία δημιουργήθηκε χρησιμοποιώντας το ChatGPT, την καλύτερη τεχνολογία τεχνητής νοημοσύνης μέχρι σήμερα:

πώς χρησιμοποιείται η λέξη
συχνότητα χρήσης
χρησιμοποιείται πιο συχνά στον προφορικό ή γραπτό λόγο
επιλογές μετάφρασης λέξεων
παραδείγματα χρήσης (πολλές φράσεις με μετάφραση)
ετυμολογία

формализованный - translation to Αγγλικά

ИСЧИСЛЕНИЕ, ОБЫЧНО ЦЕПОЧЕК, НАД КОНЕЧНЫМ АЛФАВИТОМ

Формализированный язык; Формализованный язык; Формальные языки

формализованный

adj.
formalized

formal message

формализованное сообщение формализованное сообщение

formalized

WIKIMEDIA DISAMBIGUATION PAGE

Formalisation; Formalization (disambiguation); Formalized

общая лексика

формализованный

Ορισμός

Формализованный язык

1) в широком смысле - любая совокупность некоторым образом специализированных языковых средств с (более или менее) точно фиксированными правилами образования "выражений" (синтаксис Ф. я.) и приписывания этим выражениям определённого смысла (семантика). В таком употреблении термин "Ф. я." не предполагает, вообще говоря, никаких специальных ограничений ни на синтаксическую структуру, ни на семантические правила, ни на назначение такого языка. Например, выражения "Н₂О", "вода", "eau", "water", "Wasser", "vesi" и т.д. можно, в принципе, в равной мере считать элементами "Ф. я. химии".

2) Под Ф. я. в логике понимают интерпретированное Исчисление, т. е. некоторую формальную систему вместе с её интерпретацией (См. Интерпретация). Использование Ф. я. - характерная особенность математической логики (См. Логика), которую часто и определяют как "предмет формальной логики, изучаемый посредством построения формализованных языков". Следует, впрочем, заметить, что такого рода "определения" отнюдь не являются неотъемлемым атрибутом изложении математической логики: понятие Ф. я. не только не входит (как правило) в предметные логико-математические языки, но не является, строго говоря, и элементом никакого конкретного Метаязыка, будучи скорее удобным рабочим термином для предварительных эвристических пояснений предмета этой науки.

Лит.: Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960, Введение (§§ 00-09).

Εμφάνιση περισσότερων ορισμών

Βικιπαίδεια

Формальный язык

Форма́льный язы́к в математической логике, информатике и лингвистике — множество конечных слов (строк, цепочек) над конечным алфавитом. Понятие языка чаще всего используется в теории автоматов, теории вычислимости и теории алгоритмов. Научная теория, которая имеет дело с этим объектом, называется теорией формальных языков.

В теории моделей язык строится из множеств символов, функций и отношений вместе с их арностью, а также множества переменных. Каждое из этих множеств может быть бесконечным. Из языка вместе с универсальными логическими символами составляются логические высказывания.

https://ru.wikipedia.org/wiki/Формальный язык

Παραδείγματα από το σώμα κειμένου για формализованный

1. - Эти отношения будут носить формализованный характер.

2. Формализованный литературный вечер и большая очередь за автографами.

3. Основная причина успеха Единой сельскохозяйственной политики - ее четко формализованный характер.

4. Это и есть живой, не формализованный процесс движения вперед.

5. Но если суд и ФНС встанут на формализованный путь существующих норм, то поражение "Блокпоста" возможно.

Μετάφραση του &#39формализованный&#39 σε Αγγλικά